Axiomes de Peano

Els axiomes de Peano (o postulats de Peano) són un conjunt d'axiomes de segon ordre que defineixen de manera exacta la teoria dels nombres naturals. Varen ser establerts l'any 1889 per Giuseppe Peano (1858-1932), matemàtic italià,, a l'article Arithmetices principia, nova methodo exposita ("Els principis de l'aritmètica, presentats per un nou mètode"). La teoria de primer ordre que sorgeix d'aquests axiomes s'anomena Aritmètica de Peano (PA).

Els axiomes de Peano serveixen per construir molts dels conjunts de sistemes numèrics (nombres enters, racionals, reals, complexos…), i les estructures matemàtiques que s'utilitzen avui en dia. L'aritmètica de Peano constitueix el punt fonamental per al formalisme de l'aritmètica.